KOMPILE_FLAGS=-w2e -w all --gen-bison-parser

include ../../../include/kframework/ktest-fail.mak
